SPARK — a state-of-the-practice approach to the Common Criteria implementation requirements
نویسندگان
چکیده
The Common Criteria (CC) require the use of programming languages whose statements have an "unambiguous meaning." This presentation considers SPARK[1]: a widely-used language that is perhaps unique in actually meeting this requirement. While SPARK has its roots in security research, it is currently most widely used in the aerospace and rail industries, and has a well-established track record in meeting the most demanding standards in these domains, such as UK Def. Stan. 00-55 (for military systems) and DO-178B (for civil aviation). SPARK has recently proven, though, to be ideally suited to the development of secure systems.
منابع مشابه
Technical Challenges of Implementing Fair Values in Financial Reporting of Iran: Emphasizing on IFRS13 Requirements
Objective: By the full adoption of IFRS, measurement and disclosure of fair values become more common in Iranian financial reporting. The present study aims to identify the technical challenges of fair value measurement and disclosure in accordance with the proposed framework in IFRS13 as well as technical factors underlying resistance to fair-value based financial reporting from accounting and...
متن کاملOffset Policy: An Advanced Countertrade Practice
This paper explains offset and develops a strategic approach for the implementation of offset-policy for a buyer country. Offset emerges when a country cannot afford to pay cash for non-essential imports, and cannot get cash for many of its products. Offset arrangements are most frequently found in the defense-related sector. However, recently, it refers to a range of industrial and commercial ...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملPresenting of change management model for copper industries with HSE approach using FAHP and DEMATEL
Background and Aims: management of change is one of the requirements of quality standards in dynamic industries. Make changes without evaluation can be a challenge, if not managed properly, can be irreparable damage. Failure to management of change can cause an organization in the HSE area to face many problems, including accidents and work-related illnesses or unwanted environmental pollution...
متن کامل“Horses for Courses”; Comment on “Translating Evidence Into Healthcare Policy and Practice: Single Versus Multi-Faceted Implementation Strategies – Is There a Simple Answer to a Complex Question?”
This commentary considers the vexed question of whether or not we should be spending time and resources on using multifaceted interventions to undertake implementation of evidence in healthcare. A review of systematic reviews has suggested that simple interventions may be just as effective as those taking a multifaceted approach. Taking cognisance of the Promoting Action on Research Implementat...
متن کامل